3.119 \(\int (a+b x)^m (c+d x) (e+f x) (g+h x) \, dx\)

Optimal. Leaf size=167 \[ \frac{(a+b x)^{m+2} \left (3 a^2 d f h-2 a b (c f h+d e h+d f g)+b^2 (c e h+c f g+d e g)\right )}{b^4 (m+2)}+\frac{(b c-a d) (b e-a f) (b g-a h) (a+b x)^{m+1}}{b^4 (m+1)}-\frac{(a+b x)^{m+3} (3 a d f h-b (c f h+d e h+d f g))}{b^4 (m+3)}+\frac{d f h (a+b x)^{m+4}}{b^4 (m+4)} \]

[Out]

((b*c - a*d)*(b*e - a*f)*(b*g - a*h)*(a + b*x)^(1 + m))/(b^4*(1 + m)) + ((3*a^2*
d*f*h + b^2*(d*e*g + c*f*g + c*e*h) - 2*a*b*(d*f*g + d*e*h + c*f*h))*(a + b*x)^(
2 + m))/(b^4*(2 + m)) - ((3*a*d*f*h - b*(d*f*g + d*e*h + c*f*h))*(a + b*x)^(3 +
m))/(b^4*(3 + m)) + (d*f*h*(a + b*x)^(4 + m))/(b^4*(4 + m))

_______________________________________________________________________________________

Rubi [A]  time = 0.37297, antiderivative size = 167, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.043 \[ \frac{(a+b x)^{m+2} \left (3 a^2 d f h-2 a b (c f h+d e h+d f g)+b^2 (c e h+c f g+d e g)\right )}{b^4 (m+2)}+\frac{(b c-a d) (b e-a f) (b g-a h) (a+b x)^{m+1}}{b^4 (m+1)}-\frac{(a+b x)^{m+3} (3 a d f h-b (c f h+d e h+d f g))}{b^4 (m+3)}+\frac{d f h (a+b x)^{m+4}}{b^4 (m+4)} \]

Antiderivative was successfully verified.

[In]  Int[(a + b*x)^m*(c + d*x)*(e + f*x)*(g + h*x),x]

[Out]

((b*c - a*d)*(b*e - a*f)*(b*g - a*h)*(a + b*x)^(1 + m))/(b^4*(1 + m)) + ((3*a^2*
d*f*h + b^2*(d*e*g + c*f*g + c*e*h) - 2*a*b*(d*f*g + d*e*h + c*f*h))*(a + b*x)^(
2 + m))/(b^4*(2 + m)) - ((3*a*d*f*h - b*(d*f*g + d*e*h + c*f*h))*(a + b*x)^(3 +
m))/(b^4*(3 + m)) + (d*f*h*(a + b*x)^(4 + m))/(b^4*(4 + m))

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 123.205, size = 180, normalized size = 1.08 \[ \frac{d f h \left (a + b x\right )^{m + 4}}{b^{4} \left (m + 4\right )} - \frac{\left (a + b x\right )^{m + 1} \left (a d - b c\right ) \left (a f - b e\right ) \left (a h - b g\right )}{b^{4} \left (m + 1\right )} + \frac{\left (a + b x\right )^{m + 2} \left (3 a^{2} d f h - 2 a b c f h - 2 a b d e h - 2 a b d f g + b^{2} c e h + b^{2} c f g + b^{2} d e g\right )}{b^{4} \left (m + 2\right )} - \frac{\left (a + b x\right )^{m + 3} \left (3 a d f h - b c f h - b d e h - b d f g\right )}{b^{4} \left (m + 3\right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((b*x+a)**m*(d*x+c)*(f*x+e)*(h*x+g),x)

[Out]

d*f*h*(a + b*x)**(m + 4)/(b**4*(m + 4)) - (a + b*x)**(m + 1)*(a*d - b*c)*(a*f -
b*e)*(a*h - b*g)/(b**4*(m + 1)) + (a + b*x)**(m + 2)*(3*a**2*d*f*h - 2*a*b*c*f*h
- 2*a*b*d*e*h - 2*a*b*d*f*g + b**2*c*e*h + b**2*c*f*g + b**2*d*e*g)/(b**4*(m +
2)) - (a + b*x)**(m + 3)*(3*a*d*f*h - b*c*f*h - b*d*e*h - b*d*f*g)/(b**4*(m + 3)
)

_______________________________________________________________________________________

Mathematica [A]  time = 0.671114, size = 241, normalized size = 1.44 \[ \frac{(a+b x)^{m+1} \left (-6 a^3 d f h+2 a^2 b (c f h (m+4)+d (e h (m+4)+f g (m+4)+3 f h (m+1) x))-a b^2 (c (m+4) (e h (m+3)+f g (m+3)+2 f h (m+1) x)+d (e (m+4) (g (m+3)+2 h (m+1) x)+f (m+1) x (2 g (m+4)+3 h (m+2) x)))+b^3 (c (m+4) (e (m+3) (g (m+2)+h (m+1) x)+f (m+1) x (g (m+3)+h (m+2) x))+d (m+1) x (e (m+4) (g (m+3)+h (m+2) x)+f (m+2) x (g (m+4)+h (m+3) x)))\right )}{b^4 (m+1) (m+2) (m+3) (m+4)} \]

Antiderivative was successfully verified.

[In]  Integrate[(a + b*x)^m*(c + d*x)*(e + f*x)*(g + h*x),x]

[Out]

((a + b*x)^(1 + m)*(-6*a^3*d*f*h + 2*a^2*b*(c*f*h*(4 + m) + d*(f*g*(4 + m) + e*h
*(4 + m) + 3*f*h*(1 + m)*x)) - a*b^2*(c*(4 + m)*(f*g*(3 + m) + e*h*(3 + m) + 2*f
*h*(1 + m)*x) + d*(e*(4 + m)*(g*(3 + m) + 2*h*(1 + m)*x) + f*(1 + m)*x*(2*g*(4 +
m) + 3*h*(2 + m)*x))) + b^3*(c*(4 + m)*(e*(3 + m)*(g*(2 + m) + h*(1 + m)*x) + f
*(1 + m)*x*(g*(3 + m) + h*(2 + m)*x)) + d*(1 + m)*x*(e*(4 + m)*(g*(3 + m) + h*(2
+ m)*x) + f*(2 + m)*x*(g*(4 + m) + h*(3 + m)*x)))))/(b^4*(1 + m)*(2 + m)*(3 + m
)*(4 + m))

_______________________________________________________________________________________

Maple [B]  time = 0.012, size = 726, normalized size = 4.4 \[ -{\frac{ \left ( bx+a \right ) ^{1+m} \left ( -{b}^{3}dfh{m}^{3}{x}^{3}-{b}^{3}cfh{m}^{3}{x}^{2}-{b}^{3}deh{m}^{3}{x}^{2}-{b}^{3}dfg{m}^{3}{x}^{2}-6\,{b}^{3}dfh{m}^{2}{x}^{3}+3\,a{b}^{2}dfh{m}^{2}{x}^{2}-{b}^{3}ceh{m}^{3}x-{b}^{3}cfg{m}^{3}x-7\,{b}^{3}cfh{m}^{2}{x}^{2}-{b}^{3}deg{m}^{3}x-7\,{b}^{3}deh{m}^{2}{x}^{2}-7\,{b}^{3}dfg{m}^{2}{x}^{2}-11\,{b}^{3}dfhm{x}^{3}+2\,a{b}^{2}cfh{m}^{2}x+2\,a{b}^{2}deh{m}^{2}x+2\,a{b}^{2}dfg{m}^{2}x+9\,a{b}^{2}dfhm{x}^{2}-{b}^{3}ceg{m}^{3}-8\,{b}^{3}ceh{m}^{2}x-8\,{b}^{3}cfg{m}^{2}x-14\,{b}^{3}cfhm{x}^{2}-8\,{b}^{3}deg{m}^{2}x-14\,{b}^{3}dehm{x}^{2}-14\,{b}^{3}dfgm{x}^{2}-6\,dfh{x}^{3}{b}^{3}-6\,{a}^{2}bdfhmx+a{b}^{2}ceh{m}^{2}+a{b}^{2}cfg{m}^{2}+10\,a{b}^{2}cfhmx+a{b}^{2}deg{m}^{2}+10\,a{b}^{2}dehmx+10\,a{b}^{2}dfgmx+6\,a{b}^{2}dfh{x}^{2}-9\,{b}^{3}ceg{m}^{2}-19\,{b}^{3}cehmx-19\,{b}^{3}cfgmx-8\,{b}^{3}cfh{x}^{2}-19\,{b}^{3}degmx-8\,{b}^{3}deh{x}^{2}-8\,{b}^{3}dfg{x}^{2}-2\,{a}^{2}bcfhm-2\,{a}^{2}bdehm-2\,{a}^{2}bdfgm-6\,{a}^{2}bdfhx+7\,a{b}^{2}cehm+7\,a{b}^{2}cfgm+8\,a{b}^{2}cfhx+7\,a{b}^{2}degm+8\,a{b}^{2}dehx+8\,a{b}^{2}dfgx-26\,{b}^{3}cegm-12\,{b}^{3}cehx-12\,{b}^{3}cfgx-12\,{b}^{3}degx+6\,{a}^{3}dfh-8\,{a}^{2}bcfh-8\,{a}^{2}bdeh-8\,{a}^{2}bdfg+12\,a{b}^{2}ceh+12\,a{b}^{2}cfg+12\,a{b}^{2}deg-24\,{b}^{3}ceg \right ) }{{b}^{4} \left ({m}^{4}+10\,{m}^{3}+35\,{m}^{2}+50\,m+24 \right ) }} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((b*x+a)^m*(d*x+c)*(f*x+e)*(h*x+g),x)

[Out]

-(b*x+a)^(1+m)*(-b^3*d*f*h*m^3*x^3-b^3*c*f*h*m^3*x^2-b^3*d*e*h*m^3*x^2-b^3*d*f*g
*m^3*x^2-6*b^3*d*f*h*m^2*x^3+3*a*b^2*d*f*h*m^2*x^2-b^3*c*e*h*m^3*x-b^3*c*f*g*m^3
*x-7*b^3*c*f*h*m^2*x^2-b^3*d*e*g*m^3*x-7*b^3*d*e*h*m^2*x^2-7*b^3*d*f*g*m^2*x^2-1
1*b^3*d*f*h*m*x^3+2*a*b^2*c*f*h*m^2*x+2*a*b^2*d*e*h*m^2*x+2*a*b^2*d*f*g*m^2*x+9*
a*b^2*d*f*h*m*x^2-b^3*c*e*g*m^3-8*b^3*c*e*h*m^2*x-8*b^3*c*f*g*m^2*x-14*b^3*c*f*h
*m*x^2-8*b^3*d*e*g*m^2*x-14*b^3*d*e*h*m*x^2-14*b^3*d*f*g*m*x^2-6*b^3*d*f*h*x^3-6
*a^2*b*d*f*h*m*x+a*b^2*c*e*h*m^2+a*b^2*c*f*g*m^2+10*a*b^2*c*f*h*m*x+a*b^2*d*e*g*
m^2+10*a*b^2*d*e*h*m*x+10*a*b^2*d*f*g*m*x+6*a*b^2*d*f*h*x^2-9*b^3*c*e*g*m^2-19*b
^3*c*e*h*m*x-19*b^3*c*f*g*m*x-8*b^3*c*f*h*x^2-19*b^3*d*e*g*m*x-8*b^3*d*e*h*x^2-8
*b^3*d*f*g*x^2-2*a^2*b*c*f*h*m-2*a^2*b*d*e*h*m-2*a^2*b*d*f*g*m-6*a^2*b*d*f*h*x+7
*a*b^2*c*e*h*m+7*a*b^2*c*f*g*m+8*a*b^2*c*f*h*x+7*a*b^2*d*e*g*m+8*a*b^2*d*e*h*x+8
*a*b^2*d*f*g*x-26*b^3*c*e*g*m-12*b^3*c*e*h*x-12*b^3*c*f*g*x-12*b^3*d*e*g*x+6*a^3
*d*f*h-8*a^2*b*c*f*h-8*a^2*b*d*e*h-8*a^2*b*d*f*g+12*a*b^2*c*e*h+12*a*b^2*c*f*g+1
2*a*b^2*d*e*g-24*b^3*c*e*g)/b^4/(m^4+10*m^3+35*m^2+50*m+24)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x + c)*(f*x + e)*(h*x + g)*(b*x + a)^m,x, algorithm="maxima")

[Out]

Exception raised: ValueError

_______________________________________________________________________________________

Fricas [A]  time = 0.248591, size = 1184, normalized size = 7.09 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x + c)*(f*x + e)*(h*x + g)*(b*x + a)^m,x, algorithm="fricas")

[Out]

(a*b^3*c*e*g*m^3 + (b^4*d*f*h*m^3 + 6*b^4*d*f*h*m^2 + 11*b^4*d*f*h*m + 6*b^4*d*f
*h)*x^4 + (8*b^4*d*f*g + (b^4*d*f*g + (b^4*d*e + (b^4*c + a*b^3*d)*f)*h)*m^3 + (
7*b^4*d*f*g + (7*b^4*d*e + (7*b^4*c + 3*a*b^3*d)*f)*h)*m^2 + 8*(b^4*d*e + b^4*c*
f)*h + 2*(7*b^4*d*f*g + (7*b^4*d*e + (7*b^4*c + a*b^3*d)*f)*h)*m)*x^3 - (a^2*b^2
*c*e*h + (a^2*b^2*c*f - (9*a*b^3*c - a^2*b^2*d)*e)*g)*m^2 + (12*b^4*c*e*h + ((b^
4*d*e + (b^4*c + a*b^3*d)*f)*g + (a*b^3*c*f + (b^4*c + a*b^3*d)*e)*h)*m^3 + ((8*
b^4*d*e + (8*b^4*c + 5*a*b^3*d)*f)*g + ((8*b^4*c + 5*a*b^3*d)*e + (5*a*b^3*c - 3
*a^2*b^2*d)*f)*h)*m^2 + 12*(b^4*d*e + b^4*c*f)*g + ((19*b^4*d*e + (19*b^4*c + 4*
a*b^3*d)*f)*g + ((19*b^4*c + 4*a*b^3*d)*e + (4*a*b^3*c - 3*a^2*b^2*d)*f)*h)*m)*x
^2 + 4*(3*(2*a*b^3*c - a^2*b^2*d)*e - (3*a^2*b^2*c - 2*a^3*b*d)*f)*g - 2*(2*(3*a
^2*b^2*c - 2*a^3*b*d)*e - (4*a^3*b*c - 3*a^4*d)*f)*h + (((26*a*b^3*c - 7*a^2*b^2
*d)*e - (7*a^2*b^2*c - 2*a^3*b*d)*f)*g + (2*a^3*b*c*f - (7*a^2*b^2*c - 2*a^3*b*d
)*e)*h)*m + (24*b^4*c*e*g + (a*b^3*c*e*h + (a*b^3*c*f + (b^4*c + a*b^3*d)*e)*g)*
m^3 + (((9*b^4*c + 7*a*b^3*d)*e + (7*a*b^3*c - 2*a^2*b^2*d)*f)*g - (2*a^2*b^2*c*
f - (7*a*b^3*c - 2*a^2*b^2*d)*e)*h)*m^2 + 2*(((13*b^4*c + 6*a*b^3*d)*e + 2*(3*a*
b^3*c - 2*a^2*b^2*d)*f)*g + (2*(3*a*b^3*c - 2*a^2*b^2*d)*e - (4*a^2*b^2*c - 3*a^
3*b*d)*f)*h)*m)*x)*(b*x + a)^m/(b^4*m^4 + 10*b^4*m^3 + 35*b^4*m^2 + 50*b^4*m + 2
4*b^4)

_______________________________________________________________________________________

Sympy [A]  time = 25.9485, size = 8218, normalized size = 49.21 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x+a)**m*(d*x+c)*(f*x+e)*(h*x+g),x)

[Out]

Piecewise((a**m*(c*e*g*x + c*e*h*x**2/2 + c*f*g*x**2/2 + c*f*h*x**3/3 + d*e*g*x*
*2/2 + d*e*h*x**3/3 + d*f*g*x**3/3 + d*f*h*x**4/4), Eq(b, 0)), (6*a**3*d*f*h*log
(a/b + x)/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) + 11*a**
3*d*f*h/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) - 2*a**2*b
*c*f*h/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) - 2*a**2*b*
d*e*h/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) - 2*a**2*b*d
*f*g/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) + 18*a**2*b*d
*f*h*x*log(a/b + x)/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3
) + 27*a**2*b*d*f*h*x/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x*
*3) - a*b**2*c*e*h/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3)
- a*b**2*c*f*g/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) -
6*a*b**2*c*f*h*x/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) -
a*b**2*d*e*g/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) - 6*
a*b**2*d*e*h*x/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) - 6
*a*b**2*d*f*g*x/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2 + 6*b**7*x**3) +
18*a*b**2*d*f*h*x**2*log(a/b + x)/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2
+ 6*b**7*x**3) + 18*a*b**2*d*f*h*x**2/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6
*x**2 + 6*b**7*x**3) - 2*b**3*c*e*g/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x*
*2 + 6*b**7*x**3) - 3*b**3*c*e*h*x/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**
2 + 6*b**7*x**3) - 3*b**3*c*f*g*x/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**2
+ 6*b**7*x**3) - 6*b**3*c*f*h*x**2/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x*
*2 + 6*b**7*x**3) - 3*b**3*d*e*g*x/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x**
2 + 6*b**7*x**3) - 6*b**3*d*e*h*x**2/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6*x
**2 + 6*b**7*x**3) - 6*b**3*d*f*g*x**2/(6*a**3*b**4 + 18*a**2*b**5*x + 18*a*b**6
*x**2 + 6*b**7*x**3) + 6*b**3*d*f*h*x**3*log(a/b + x)/(6*a**3*b**4 + 18*a**2*b**
5*x + 18*a*b**6*x**2 + 6*b**7*x**3), Eq(m, -4)), (-6*a**4*d*f*h*log(a/b + x)/(2*
a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) - 3*a**4*d*f*h/(2*a**3*b**4 + 4*a**2*
b**5*x + 2*a*b**6*x**2) + 2*a**3*b*c*f*h*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5
*x + 2*a*b**6*x**2) + a**3*b*c*f*h/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2)
+ 2*a**3*b*d*e*h*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + a
**3*b*d*e*h/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 2*a**3*b*d*f*g*log(a
/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + a**3*b*d*f*g/(2*a**3*b**
4 + 4*a**2*b**5*x + 2*a*b**6*x**2) - 12*a**3*b*d*f*h*x*log(a/b + x)/(2*a**3*b**4
+ 4*a**2*b**5*x + 2*a*b**6*x**2) + 4*a**2*b**2*c*f*h*x*log(a/b + x)/(2*a**3*b**
4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 4*a**2*b**2*d*e*h*x*log(a/b + x)/(2*a**3*b*
*4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 4*a**2*b**2*d*f*g*x*log(a/b + x)/(2*a**3*b
**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) - 6*a**2*b**2*d*f*h*x**2*log(a/b + x)/(2*a*
*3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 6*a**2*b**2*d*f*h*x**2/(2*a**3*b**4 +
4*a**2*b**5*x + 2*a*b**6*x**2) - a*b**3*c*e*g/(2*a**3*b**4 + 4*a**2*b**5*x + 2*
a*b**6*x**2) + 2*a*b**3*c*f*h*x**2*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2
*a*b**6*x**2) - 2*a*b**3*c*f*h*x**2/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2
) + 2*a*b**3*d*e*h*x**2*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**
2) - 2*a*b**3*d*e*h*x**2/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 2*a*b**
3*d*f*g*x**2*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) - 2*a*b*
*3*d*f*g*x**2/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 2*a*b**3*d*f*h*x**
3/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + b**4*c*e*h*x**2/(2*a**3*b**4 +
4*a**2*b**5*x + 2*a*b**6*x**2) + b**4*c*f*g*x**2/(2*a**3*b**4 + 4*a**2*b**5*x +
2*a*b**6*x**2) + b**4*d*e*g*x**2/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2),
Eq(m, -3)), (6*a**3*d*f*h*log(a/b + x)/(2*a*b**4 + 2*b**5*x) + 6*a**3*d*f*h/(2*
a*b**4 + 2*b**5*x) - 4*a**2*b*c*f*h*log(a/b + x)/(2*a*b**4 + 2*b**5*x) - 4*a**2*
b*c*f*h/(2*a*b**4 + 2*b**5*x) - 4*a**2*b*d*e*h*log(a/b + x)/(2*a*b**4 + 2*b**5*x
) - 4*a**2*b*d*e*h/(2*a*b**4 + 2*b**5*x) - 4*a**2*b*d*f*g*log(a/b + x)/(2*a*b**4
+ 2*b**5*x) - 4*a**2*b*d*f*g/(2*a*b**4 + 2*b**5*x) + 6*a**2*b*d*f*h*x*log(a/b +
x)/(2*a*b**4 + 2*b**5*x) + 2*a*b**2*c*e*h*log(a/b + x)/(2*a*b**4 + 2*b**5*x) +
2*a*b**2*c*e*h/(2*a*b**4 + 2*b**5*x) + 2*a*b**2*c*f*g*log(a/b + x)/(2*a*b**4 + 2
*b**5*x) + 2*a*b**2*c*f*g/(2*a*b**4 + 2*b**5*x) - 4*a*b**2*c*f*h*x*log(a/b + x)/
(2*a*b**4 + 2*b**5*x) + 2*a*b**2*d*e*g*log(a/b + x)/(2*a*b**4 + 2*b**5*x) + 2*a*
b**2*d*e*g/(2*a*b**4 + 2*b**5*x) - 4*a*b**2*d*e*h*x*log(a/b + x)/(2*a*b**4 + 2*b
**5*x) - 4*a*b**2*d*f*g*x*log(a/b + x)/(2*a*b**4 + 2*b**5*x) - 3*a*b**2*d*f*h*x*
*2/(2*a*b**4 + 2*b**5*x) - 2*b**3*c*e*g/(2*a*b**4 + 2*b**5*x) + 2*b**3*c*e*h*x*l
og(a/b + x)/(2*a*b**4 + 2*b**5*x) + 2*b**3*c*f*g*x*log(a/b + x)/(2*a*b**4 + 2*b*
*5*x) + 2*b**3*c*f*h*x**2/(2*a*b**4 + 2*b**5*x) + 2*b**3*d*e*g*x*log(a/b + x)/(2
*a*b**4 + 2*b**5*x) + 2*b**3*d*e*h*x**2/(2*a*b**4 + 2*b**5*x) + 2*b**3*d*f*g*x**
2/(2*a*b**4 + 2*b**5*x) + b**3*d*f*h*x**3/(2*a*b**4 + 2*b**5*x), Eq(m, -2)), (-a
**3*d*f*h*log(a/b + x)/b**4 + a**2*c*f*h*log(a/b + x)/b**3 + a**2*d*e*h*log(a/b
+ x)/b**3 + a**2*d*f*g*log(a/b + x)/b**3 + a**2*d*f*h*x/b**3 - a*c*e*h*log(a/b +
x)/b**2 - a*c*f*g*log(a/b + x)/b**2 - a*c*f*h*x/b**2 - a*d*e*g*log(a/b + x)/b**
2 - a*d*e*h*x/b**2 - a*d*f*g*x/b**2 - a*d*f*h*x**2/(2*b**2) + c*e*g*log(a/b + x)
/b + c*e*h*x/b + c*f*g*x/b + c*f*h*x**2/(2*b) + d*e*g*x/b + d*e*h*x**2/(2*b) + d
*f*g*x**2/(2*b) + d*f*h*x**3/(3*b), Eq(m, -1)), (-6*a**4*d*f*h*(a + b*x)**m/(b**
4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 2*a**3*b*c*f*h*m*(
a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 8*
a**3*b*c*f*h*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m +
24*b**4) + 2*a**3*b*d*e*h*m*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m*
*2 + 50*b**4*m + 24*b**4) + 8*a**3*b*d*e*h*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**
3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 2*a**3*b*d*f*g*m*(a + b*x)**m/(b**4*m*
*4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 8*a**3*b*d*f*g*(a + b*
x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 6*a**3*b
*d*f*h*m*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 2
4*b**4) - a**2*b**2*c*e*h*m**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*
m**2 + 50*b**4*m + 24*b**4) - 7*a**2*b**2*c*e*h*m*(a + b*x)**m/(b**4*m**4 + 10*b
**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - 12*a**2*b**2*c*e*h*(a + b*x)**m
/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - a**2*b**2*c*f
*g*m**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b
**4) - 7*a**2*b**2*c*f*g*m*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2
+ 50*b**4*m + 24*b**4) - 12*a**2*b**2*c*f*g*(a + b*x)**m/(b**4*m**4 + 10*b**4*m
**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - 2*a**2*b**2*c*f*h*m**2*x*(a + b*x)**
m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - 8*a**2*b**2*
c*f*h*m*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24
*b**4) - a**2*b**2*d*e*g*m**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m
**2 + 50*b**4*m + 24*b**4) - 7*a**2*b**2*d*e*g*m*(a + b*x)**m/(b**4*m**4 + 10*b*
*4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - 12*a**2*b**2*d*e*g*(a + b*x)**m/
(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - 2*a**2*b**2*d*
e*h*m**2*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 2
4*b**4) - 8*a**2*b**2*d*e*h*m*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4
*m**2 + 50*b**4*m + 24*b**4) - 2*a**2*b**2*d*f*g*m**2*x*(a + b*x)**m/(b**4*m**4
+ 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - 8*a**2*b**2*d*f*g*m*x*(a
+ b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) - 3*a*
*2*b**2*d*f*h*m**2*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 +
50*b**4*m + 24*b**4) - 3*a**2*b**2*d*f*h*m*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**
4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + a*b**3*c*e*g*m**3*(a + b*x)**m/(b
**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 9*a*b**3*c*e*g*m
**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4)
+ 26*a*b**3*c*e*g*m*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*
b**4*m + 24*b**4) + 24*a*b**3*c*e*g*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*
b**4*m**2 + 50*b**4*m + 24*b**4) + a*b**3*c*e*h*m**3*x*(a + b*x)**m/(b**4*m**4 +
10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 7*a*b**3*c*e*h*m**2*x*(a +
b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 12*a*
b**3*c*e*h*m*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m
+ 24*b**4) + a*b**3*c*f*g*m**3*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b*
*4*m**2 + 50*b**4*m + 24*b**4) + 7*a*b**3*c*f*g*m**2*x*(a + b*x)**m/(b**4*m**4 +
10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 12*a*b**3*c*f*g*m*x*(a + b
*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + a*b**3*
c*f*h*m**3*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*
m + 24*b**4) + 5*a*b**3*c*f*h*m**2*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 +
35*b**4*m**2 + 50*b**4*m + 24*b**4) + 4*a*b**3*c*f*h*m*x**2*(a + b*x)**m/(b**4*
m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + a*b**3*d*e*g*m**3*x*
(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 7
*a*b**3*d*e*g*m**2*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*
b**4*m + 24*b**4) + 12*a*b**3*d*e*g*m*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 +
35*b**4*m**2 + 50*b**4*m + 24*b**4) + a*b**3*d*e*h*m**3*x**2*(a + b*x)**m/(b**4
*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 5*a*b**3*d*e*h*m**2
*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**
4) + 4*a*b**3*d*e*h*m*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2
+ 50*b**4*m + 24*b**4) + a*b**3*d*f*g*m**3*x**2*(a + b*x)**m/(b**4*m**4 + 10*b*
*4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 5*a*b**3*d*f*g*m**2*x**2*(a + b*
x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 4*a*b**3
*d*f*g*m*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m
+ 24*b**4) + a*b**3*d*f*h*m**3*x**3*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*
b**4*m**2 + 50*b**4*m + 24*b**4) + 3*a*b**3*d*f*h*m**2*x**3*(a + b*x)**m/(b**4*m
**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 2*a*b**3*d*f*h*m*x**3
*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) +
b**4*c*e*g*m**3*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**
4*m + 24*b**4) + 9*b**4*c*e*g*m**2*x*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35
*b**4*m**2 + 50*b**4*m + 24*b**4) + 26*b**4*c*e*g*m*x*(a + b*x)**m/(b**4*m**4 +
10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 24*b**4*c*e*g*x*(a + b*x)**
m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + b**4*c*e*h*m
**3*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*
b**4) + 8*b**4*c*e*h*m**2*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*
m**2 + 50*b**4*m + 24*b**4) + 19*b**4*c*e*h*m*x**2*(a + b*x)**m/(b**4*m**4 + 10*
b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 12*b**4*c*e*h*x**2*(a + b*x)**
m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + b**4*c*f*g*m
**3*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*
b**4) + 8*b**4*c*f*g*m**2*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*
m**2 + 50*b**4*m + 24*b**4) + 19*b**4*c*f*g*m*x**2*(a + b*x)**m/(b**4*m**4 + 10*
b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 12*b**4*c*f*g*x**2*(a + b*x)**
m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + b**4*c*f*h*m
**3*x**3*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*
b**4) + 7*b**4*c*f*h*m**2*x**3*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*
m**2 + 50*b**4*m + 24*b**4) + 14*b**4*c*f*h*m*x**3*(a + b*x)**m/(b**4*m**4 + 10*
b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 8*b**4*c*f*h*x**3*(a + b*x)**m
/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + b**4*d*e*g*m*
*3*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b
**4) + 8*b**4*d*e*g*m**2*x**2*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m
**2 + 50*b**4*m + 24*b**4) + 19*b**4*d*e*g*m*x**2*(a + b*x)**m/(b**4*m**4 + 10*b
**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 12*b**4*d*e*g*x**2*(a + b*x)**m
/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + b**4*d*e*h*m*
*3*x**3*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b
**4) + 7*b**4*d*e*h*m**2*x**3*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m
**2 + 50*b**4*m + 24*b**4) + 14*b**4*d*e*h*m*x**3*(a + b*x)**m/(b**4*m**4 + 10*b
**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 8*b**4*d*e*h*x**3*(a + b*x)**m/
(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + b**4*d*f*g*m**
3*x**3*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b*
*4) + 7*b**4*d*f*g*m**2*x**3*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m*
*2 + 50*b**4*m + 24*b**4) + 14*b**4*d*f*g*m*x**3*(a + b*x)**m/(b**4*m**4 + 10*b*
*4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 8*b**4*d*f*g*x**3*(a + b*x)**m/(
b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + b**4*d*f*h*m**3
*x**4*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**
4) + 6*b**4*d*f*h*m**2*x**4*(a + b*x)**m/(b**4*m**4 + 10*b**4*m**3 + 35*b**4*m**
2 + 50*b**4*m + 24*b**4) + 11*b**4*d*f*h*m*x**4*(a + b*x)**m/(b**4*m**4 + 10*b**
4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4) + 6*b**4*d*f*h*x**4*(a + b*x)**m/(b
**4*m**4 + 10*b**4*m**3 + 35*b**4*m**2 + 50*b**4*m + 24*b**4), True))

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.217996, size = 1, normalized size = 0.01 \[ \mathit{Done} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x + c)*(f*x + e)*(h*x + g)*(b*x + a)^m,x, algorithm="giac")

[Out]

Done